#include <stdio.h>

int main() {
	printf("Hello world from t1 Main!");
	return 0; 
} 
